Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
811	A Guide to Moral Decision Making Chris MacDonald, Ph.D. Revised March 15, 2002 This guide is intended only as an aid. It is not a formula, and it does not guarantee good decisions. The order of the steps is not crucial, Add to Reading List Source URL: www.ethicsweb.ca Language: English - Date: 2002-12-31 10:47:33 Critical thinking Decision making Neuropsychological assessment Mind Criticism Thought Morality Behavior Principlism Decision theory Ethics Social philosophy
812	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming
813	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
814	Fast Planning Through Planning Graph Analysis∗ Merrick L. Furst School of Computer Science Carnegie Mellon University Pittsburgh PA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-06 11:34:56 Search algorithms Automated planning and scheduling Graphplan Breadth-first search STRIPS Algorithm Graph Action description language Partial-order planning Mathematics Graph theory Artificial intelligence
815	2014 ASC conf schedule revised_TFCH.xlsx Add to Reading List Source URL: asc-cybernetics.org Language: English - Date: 2014-07-31 16:39:22 Systems scientists Formal sciences Systems theory Knowledge Control theory Stuart Umpleby Second-order cybernetics Allenna Leonard Science Cybernetics Systems science
816	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:11 Model theory Propositional calculus Rules of inference Resolution First-order logic Interpretation Deduction theorem Inference Unit propagation Logic Mathematical logic Automated theorem proving
817	Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz & Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-27 14:47:38 Model theory Finite model theory FO First-order logic Descriptive complexity theory Almost surely Second-order logic Structure Linear temporal logic Logic Mathematical logic Mathematics
818	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic
819	Heinz von Foerster and Cybernetic Praxis — Pangaro Add to Reading List Source URL: pangaro.com Language: English - Date: 2014-06-27 14:31:15 Knowledge Second-order cybernetics Heinz von Foerster Conversation theory Metadesign Forster Biological Computer Laboratory Cybernetics Science Systems science
820	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-08-15 23:12:55 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity FO Aanderaa–Karp–Rosenberg conjecture Galois connection Theoretical computer science Mathematics Mathematical analysis

UPDATE